00100	When can we say that a person cannot achieve a goal.  The basic theorem
00200	is that if none of a set of actions changes a fluent, then no
00300	program in these actions can change it.